Control flow

Results: 3353



#Item
201Recursion / Theoretical computer science / Formal methods / Compiler optimizations / Infinite loop / Satisfiability modulo theories / Control flow / For loop / Algorithm / Termination analysis / Loop unrolling / Satisfiability

A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops Andreas Ibing, Alexandra Mai Chair for IT Security TU M¨unchen Boltzmannstrasse 3, 85748 Garching, Germany {ibing,mai}@sec.in.tum.de

Add to Reading List

Source URL: www.sec.in.tum.de

Language: English - Date: 2016-02-01 08:36:29
202Method / Object-oriented programming / Data types / Cross-platform software / Virtual method table / Dynamic dispatch / Polymorphism / Method overriding / Objective-C / Dangling pointer / Control flow / Pointer

S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock

Add to Reading List

Source URL: cseweb.ucsd.edu

Language: English - Date: 2013-12-28 00:32:24
203Control flow / While loop / Conditional / Boolean data type / Eval / For loop / Return statement / Statement / Assignment / Do while loop / ?:

Announcements • Do HW0! Due today (Wednesday, 6/22) at 11:59pm •

Add to Reading List

Source URL: cs61a.org

Language: English
204Control flow / Functional languages / Scripting languages / Eval / Assertion / Clojure / Exception handling

Lazytest Better Living Through Protocols Stuart Sierra Clojure NYC April 15, 2010

Add to Reading List

Source URL: stuartsierra.com

Language: English - Date: 2010-04-18 13:07:17
205Electric power / Electrical engineering / Electric power transmission / Power-flow study / Flexible AC transmission system / Fault / Nodal admittance matrix / Capacitor / Mains electricity / Static VAR compensator / Distribution management system

“Incorporation of N-1 Security into Optimal Power Flow for FACTS Control” Gabriela Glanzmann, Göran Andersson Important notice Copyright and all rights in this work are retained by the authors. This material may not

Add to Reading List

Source URL: www.eeh.ee.ethz.ch

Language: English - Date: 2008-11-28 06:49:48
206Optical flow / Perception / Cognition / Cognitive neuroscience / Robot control

Interactive Computational Imaging for Deformable Object Analysis Donald G. Dansereau1 , Surya P. N. Singh2 , J¨urgen Leitner1 Abstract— We describe an interactive approach for visual object analysis which exploits the

Add to Reading List

Source URL: juxi.net

Language: English - Date: 2016-05-30 21:59:06
207Network performance / Internet protocols / Flow control / Packet loss / Transmission Control Protocol / MIDI / Internet protocol suite / Reliability / Communications protocol / User Datagram Protocol / Internet Protocol / RTP-MIDI

PIANO MASTER CLASSES VIA THE INTERNET John P. Young and Ichiro Fujinaga Peabody Conservatory of Music Johns Hopkins University 1 East Mt. Vernon Place Baltimore, MDUSA

Add to Reading List

Source URL: www.music.mcgill.ca

Language: English - Date: 1999-07-31 15:58:39
208Control flow / Unix signal / Statistics

The Console Table of contents 1 Process controls............................................................................................................ 2 2 Sample controls............................................

Add to Reading List

Source URL: grinder.sourceforge.net

Language: English - Date: 2014-05-20 07:02:14
209Manufacturing / Management / Computer-aided engineering / Information technology management / Manufacturing resource planning / Material requirements planning / Master production schedule / Production planning / Available-to-promise / MRP / Demand flow technology / Business Planning and Control System

Planning Management MPS The first step for any manufacturing company utilizing a closed-loop MRP II System is in Planning and Forecasting. Based on the Business Plan, the company creates a production scheme that reflects

Add to Reading List

Source URL: www.esitech.com

Language: English
210Python / Dynamic-link library / Control flow / NumPy / Cython / D / Nm / Foreach loop / Numba

Python Bindings to PTV library 1) Changes in C source code to compile as dllAdd #include"exp_dll_so.h" to globals.h.

Add to Reading List

Source URL: alexlib.github.io

Language: English - Date: 2015-09-26 20:07:49
UPDATE